Suchergebnis

Suche nach: Schlagwort = Turing-Reduzierbarkeit und Sammlung = UB Paderborn

Minimal weak truth table degrees and computably enumerable Turing degrees
Downey, R. G. ; Ng, Keng Meng ; Solomon, Reed
Providence, RI, USA : AMS, American Mathematical Society, 2020 ; © 2020